- looping verification
- верификация методом обратной передачи
Англо-русский словарь по компьютерной безопасности. Академик.ру. 2011.
Англо-русский словарь по компьютерной безопасности. Академик.ру. 2011.
SP-DEVS — abbreviating Schedule Preserving Discrete Event System Specification is a formalism for modeling and analyzing discrete event systems in both simulation and verification ways. SP DEVS also provides modular and hierarchical modeling features which … Wikipedia
Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline … Wikipedia
Geometer moth — Temporal range: Priabonian to Recent 35–0 Ma … Wikipedia
University of Texas at Dallas — Infobox University name = University of Texas at Dallas motto = Disciplina praesidium civitatis (Latin: Cultivated mind is the guardian genius of democracy) [cite web url=http://www.utsystem.edu/bor/history.htm#C title=History of the U. T. System … Wikipedia
Design closure — is the process by which a VLSI design is modified from its initial description to meet a growing list of design constraints and objectives. Every step in the IC design (such as static timing analysis, placement, routing, and so on) is already… … Wikipedia
Parapentes — Parapente Le parapente est un aéronef dérivé du parachute, permettant la pratique du vol libre. De nos jours, son utilisation, qui constitue un loisir et un sport, est indépendante du parachutisme et se rapproche plus d autres sports aériens… … Wikipédia en Français
Parapentiste — Parapente Le parapente est un aéronef dérivé du parachute, permettant la pratique du vol libre. De nos jours, son utilisation, qui constitue un loisir et un sport, est indépendante du parachutisme et se rapproche plus d autres sports aériens… … Wikipédia en Français
Parapentistes — Parapente Le parapente est un aéronef dérivé du parachute, permettant la pratique du vol libre. De nos jours, son utilisation, qui constitue un loisir et un sport, est indépendante du parachutisme et se rapproche plus d autres sports aériens… … Wikipédia en Français
Halting problem — In computability theory, the halting problem can be stated as follows: Given a description of a computer program, decide whether the program finishes running or continues to run forever. This is equivalent to the problem of deciding, given a… … Wikipedia
Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… … Wikipedia
MAME — Developer(s) Nicola Salmoria and the MAME Team Initial release February 5, 1997; 14 years ago (1997 02 05) … Wikipedia